# -*- mode: Makefile; -*-
# ----------------------------------------------------------------------------
# 
# ****             lpdoc document generation SETTINGS                  *****
# 
#         These SETTINGS should be changed to suit your application
# 
# The defaults listed are suggestions and/or the ones used for local 
# installation in the CLIP group machines.
# ----------------------------------------------------------------------------
# List of all directories where the .pl files to be documented can be found
# (separated by spaces; put explicit paths, i.e., do not use any variables)
# You also need to specify all the paths of files used by those files!
# 
FILEPATHS = /home/clip/Systems/WebDB/doc  \
	    /home/clip/Systems/WebDB/src \
            /home/clip/Systems/WebDB/doc/fig
# ----------------------------------------------------------------------------
# List of all the *system* directories where .pl files used are
# (separated by spaces; put explicit paths, i.e., do not use any variables)
# You also need to specify all the paths of files used by those files!
# You can put these in FILEPATHS instead. Putting them here only
# means that the corresponding files will be assumed to be "system"
# files in the documentation.
# 
SYSTEMPATHS = /home/clip/Systems/ciao/lib \
	      /home/clip/Systems/ciao/library \
	      /home/clip/Systems/ciao/doc/common
# ----------------------------------------------------------------------------
# Define this to be the main file name (include a path only if it
# should appear in the documentation) 
# 
MAIN = WebDB.pl
# ----------------------------------------------------------------------------
# Select lpdoc options for main file (do 'lpdoc -h' to get list of options)
# Leaving this blank produces most verbose manuals
# -v -nobugs -noauthors -noversion -nochangelog -nopatches -modes 
# -headprops -literalprops -nopropnames -noundefined -nopropsepln -norefs 
# -nobullet 
#
#MAINOPTS = -nobugs -noversion -nochangelog -nopatches
MAINOPTS = -nobugs 
# ----------------------------------------------------------------------------
# List of files to be used as components. These can be .pl files
# or .src files (manually produced files in texinfo format). 
# (include a path only if it should appear in the documentation, i.e.,
# for sublibraries) 
# 
COMPONENTS = \
	dbserver.pl \
	Installation.pl 
# ----------------------------------------------------------------------------
# Select lpdoc opts for component file(s) 
# (see above or do 'lpdoc -h' to get complete list of opts))
# Leaving this blank produces most verbose manuals
# 
#COMPOPTS = -nobugs -modes -noversion -nochangelog -noauthors
COMPOPTS = -nobugs -modes -noauthors

# ----------------------------------------------------------------------------
# Define this to be the list of documentation formats to be generated by 
# default when typing gmake (*** keep them in this order ***)
# dvi ps ascii manl info infoindex html htmlindex 
# 
DOCFORMATS = dvi ps ascii manl info infoindex html htmlindex 
# ----------------------------------------------------------------------------
# Define this to be the list (separated by spaces) of indices to be 
# generated ('all' generates all the supported indices)
# Note: too many indices may exceed the capacity of texinfo!
# concept lib apl pred prop regtype decl op modedef file usage
# all
# 
INDICES=concept pred prop regtype usage
# ----------------------------------------------------------------------------
# If you are using bibliographic references, define this to be the list 
# (separated by commas, full paths, no spaces) of .bib files to be used 
# to find them. 
# 
BIBFILES=/home/clip/bibtex/clip/clip,/home/clip/bibtex/clip/others
# ----------------------------------------------------------------------------
# Setting this to a different value allows changing the page number of
# the first page of the manual. This can be useful if the manual is to
# be included in a larger document or set of manuals.
# Typically, this should be an odd number.
#
# For including the manual in JM's Ms Thesis:
# STARTPAGE=66
STARTPAGE=1
# ----------------------------------------------------------------------------
# Only need to change these if you will be installing the docs somewhere else
# ----------------------------------------------------------------------------
# Define this to be the dir in which you want the document(s) installed. 
# 
DOCDIR=/home/clip/public_html/Local/lpdoc_docs
# ----------------------------------------------------------------------------
# Uncomment this for .dvi and .ps files to be compressed on installation
# If uncommented, set it to path for gzip
# 
# COMPRESSDVIPS = gzip
# ----------------------------------------------------------------------------
# Define this to be the permissions for automatically generated data files
# 
DATAMODE = 664
# ----------------------------------------------------------------------------
# Define this to be the perms for automatically generated dirs and exec files
# 
EXECMODE = 775
# ----------------------------------------------------------------------------
# Define this to be the style sheet to copy for the html pages
# Uncomment this to avoid using style sheets
#
HTMLSTYLE= $(LIBDIR)/default.css
# ----------------------------------------------------------------------------
# The settings below are important only for generating html and info *indices*
# ----------------------------------------------------------------------------
# Define this to be files containing header and tail for the html index. 
# Pointers to the files generated by lpdoc are placed in a document that 
# starts with HTMLINDEXHEADFILE and finishes with HTMLINDEXTAILFILE
# 
HTMLINDEXHEADFILE = $(LIBDIR)/Indexhead.html
HTMLINDEXTAILFILE = $(LIBDIR)/Indextail.html
# ----------------------------------------------------------------------------
# Define this to be files containing header and tail for the info "dir" index. 
# dir entries generated by lpdoc are placed in a "dir" file that 
# starts with INFODIRHEADFILE and finishes with INFODIRTAILFILE
#
INFODIRHEADFILE = $(LIBDIR)/Indexhead.info
INFODIRTAILFILE = $(LIBDIR)/Indextail.info
# ----------------------------------------------------------------------------
# end of SETTINGS
# ----------------------------------------------------------------------------
